<?xml version='1.0' encoding='UTF-8'?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN" "http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd">
<html>
        <head>
          <title>Bijective Goedel Numberings for Term Algebras</title>
          <meta http-equiv="content-type" content="text/html; charset=UTF-8" />
          
      <link type="text/css" media="screen" rel="stylesheet" href="../lib/ref-index.css" />
      <script type="text/javascript" src="../lib/jquery.js"></script>
    
        </head>
        <body><div class="entry">
      <div class="name">Term</div>
      <div class="occurrences"><a name="bijectiveGoedelNumberings" class="extype" href="../bijectiveGoedelNumberings/package.html">bijectiveGoedelNumberings</a> </div>
    </div><div class="entry">
      <div class="name">term2nat</div>
      <div class="occurrences"><a name="bijectiveGoedelNumberings.FGoedelNums" class="extype" href="../bijectiveGoedelNumberings/FGoedelNums.html">FGoedelNums</a> </div>
    </div><div class="entry">
      <div class="name">TermEncoder</div>
      <div class="occurrences"><a name="bijectiveGoedelNumberings" class="extype" href="../bijectiveGoedelNumberings/package.html">bijectiveGoedelNumberings</a> </div>
    </div><div class="entry">
      <div class="name">TermTester</div>
      <div class="occurrences"><a name="bijectiveGoedelNumberings" class="extype" href="../bijectiveGoedelNumberings/package.html">bijectiveGoedelNumberings</a> </div>
    </div><div class="entry">
      <div class="name">test</div>
      <div class="occurrences"><a name="bijectiveGoedelNumberings.CantorTester" class="extype" href="../bijectiveGoedelNumberings/CantorTester$.html">CantorTester</a> <a name="bijectiveGoedelNumberings.TermTester" class="extype" href="../bijectiveGoedelNumberings/TermTester$.html">TermTester</a> </div>
    </div><div class="entry">
      <div class="name">toCantorTuple</div>
      <div class="occurrences"><a name="bijectiveGoedelNumberings.Cantor" class="extype" href="../bijectiveGoedelNumberings/Cantor.html">Cantor</a> </div>
    </div><div class="entry">
      <div class="name">toCode</div>
      <div class="occurrences"><a name="bijectiveGoedelNumberings.TermEncoder" class="extype" href="../bijectiveGoedelNumberings/TermEncoder.html">TermEncoder</a> </div>
    </div><div class="entry">
      <div class="name">toCombinadics</div>
      <div class="occurrences"><a name="bijectiveGoedelNumberings.Cantor" class="extype" href="../bijectiveGoedelNumberings/Cantor.html">Cantor</a> </div>
    </div><div class="entry">
      <div class="name">toPair</div>
      <div class="occurrences"><a name="bijectiveGoedelNumberings.TermEncoder" class="extype" href="../bijectiveGoedelNumberings/TermEncoder.html">TermEncoder</a> </div>
    </div><div class="entry">
      <div class="name">toSkel</div>
      <div class="occurrences"><a name="bijectiveGoedelNumberings.F" class="extype" href="../bijectiveGoedelNumberings/F.html">F</a> <a name="bijectiveGoedelNumberings.Term" class="extype" href="../bijectiveGoedelNumberings/Term.html">Term</a> <a name="bijectiveGoedelNumberings.V" class="extype" href="../bijectiveGoedelNumberings/V.html">V</a> </div>
    </div><div class="entry">
      <div class="name">toString</div>
      <div class="occurrences"><a name="bijectiveGoedelNumberings.F" class="extype" href="../bijectiveGoedelNumberings/F.html">F</a> <a name="bijectiveGoedelNumberings.FConst" class="extype" href="../bijectiveGoedelNumberings/FConst.html">FConst</a> <a name="bijectiveGoedelNumberings.FFun" class="extype" href="../bijectiveGoedelNumberings/FFun.html">FFun</a> <a name="bijectiveGoedelNumberings.FVar" class="extype" href="../bijectiveGoedelNumberings/FVar.html">FVar</a> <a name="bijectiveGoedelNumberings.V" class="extype" href="../bijectiveGoedelNumberings/V.html">V</a> </div>
    </div><div class="entry">
      <div class="name">toSyms</div>
      <div class="occurrences"><a name="bijectiveGoedelNumberings.F" class="extype" href="../bijectiveGoedelNumberings/F.html">F</a> <a name="bijectiveGoedelNumberings.Term" class="extype" href="../bijectiveGoedelNumberings/Term.html">Term</a> <a name="bijectiveGoedelNumberings.V" class="extype" href="../bijectiveGoedelNumberings/V.html">V</a> </div>
    </div><div class="entry">
      <div class="name">ts</div>
      <div class="occurrences"><a name="bijectiveGoedelNumberings.F" class="extype" href="../bijectiveGoedelNumberings/F.html">F</a> </div>
    </div></body>
      </html>